xen: arm: precalculate VTTBR_EL2 for a domain when setting up its p2m
authorIan Campbell <ian.campbell@citrix.com>
Mon, 29 Jul 2013 12:20:54 +0000 (13:20 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Mon, 29 Jul 2013 15:54:49 +0000 (16:54 +0100)
commit40716b8322e843df5308dbc924e3a919bacbc462
treeeb3753ad1f4cbaa41112e3a0c0cb343a1707be10
parentbcac10f827f594b5dc8e7b87da17e01c79892b18
xen: arm: precalculate VTTBR_EL2 for a domain when setting up its p2m

Mostly just to help with upcoming vcpu_show_registers changes.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
xen/arch/arm/p2m.c
xen/include/asm-arm/domain.h